package tr.edu.ege.kipler.satisfiability.container;

import tr.edu.ege.kipler.satisfiability.completion.rules.RuleLogger;

/**
 * 
 * @author İnanç Seylan
 *
 */
public class ModifiedIndividualListWcsData implements WcsData {

	private DependencyManager dependencyManager = new DependencyManager();

	private ModifiedIndividualList modifiedIndividualList = new ModifiedIndividualList();

	private RuleLogger logger = new RuleLogger();

	/**
	 * @param logger
	 *            the logger to set
	 */
	public void setLogger(RuleLogger logger) {
		this.logger = logger;
	}

	public RuleLogger getLogger() {
		return logger;
	}

	/**
	 * @return the dependencyManager
	 */
	public DependencyManager getDependencyManager() {
		return dependencyManager;
	}

	/**
	 * @return the modifiedIndividualList
	 */
	public ModifiedIndividualCollection getModifiedIndividuals() {
		return modifiedIndividualList;
	}

	public WcsData copy() {
		ModifiedIndividualListWcsData result = new ModifiedIndividualListWcsData();
		result.setLogger(getLogger());
		result.dependencyManager = dependencyManager.copy();
		result.modifiedIndividualList = modifiedIndividualList.copy();
		return result;
	}

}
